حسابات اللامدا بالانجليزي

• lambda calculus

• مدير الحسابات الهامة ؛ مدير الحسابات الاستراتيجية\    key account manage ...
• اقتصادات حسب المدينة في ألاباما    economies by city ...
• قسم حسابات حفظ السلام    peacekeeping accou ...

أمثلة

1. The most widely studied models of computability are the Turing-computable and μ-recursive functions, and the lambda calculus, all of which have computationally equivalent power.
   إن أوسع نماذج الحاسوبية دراسةً هم آلة تورنغ ودوال المايكرو المتكررة وحسابات اللامدا، وجميعهم لهم قوى حسابية معادله.
2. Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution.
   حسابات اللامدا, هي نظام شكلي (تكتب أيضا حساب λ) هو النظام الرسمي في المنطق الرياضي للتعبير عن الحساب على أساس وظيفة التجريد والتطبيق باستخدام اسناد المتغيرات والاستبدال.
3. Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution.
   حسابات اللامدا, هي نظام شكلي (تكتب أيضا حساب λ) هو النظام الرسمي في المنطق الرياضي للتعبير عن الحساب على أساس وظيفة التجريد والتطبيق باستخدام اسناد المتغيرات والاستبدال.
4. This was done by Alonzo Church in 1936 with the concept of "effective calculability" based on his λ-calculus and by Alan Turing in the same year with his concept of Turing machines.
   وقد فعل ذلك ألونزو تشرتش عام 1936 مع مفهوم "القدرة الحسابية الفعالة" على أساس حسابات اللامدا الخاصة به وآلان تورنغ في نفس السنة بمفهومه آلة تورنغ وقد تم الاعترف في وقت لاحق أن هذه المفاهيم معادلة لنماذج الحساب.